From d6c61d988bfa4255baf9cdae42db59ebee38363f Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Tue, 25 May 2021 17:10:49 +0200
Subject: Added files

---
 src/Lecture3/slides/4-TikZ.vrb | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 src/Lecture3/slides/4-TikZ.vrb

(limited to 'src/Lecture3/slides/4-TikZ.vrb')

diff --git a/src/Lecture3/slides/4-TikZ.vrb b/src/Lecture3/slides/4-TikZ.vrb
new file mode 100644
index 0000000..e44a4eb
--- /dev/null
+++ b/src/Lecture3/slides/4-TikZ.vrb
@@ -0,0 +1,24 @@
+\frametitle{Examples}
+\begin{tabular}{c|l}
+    \begin{tikzcd} X\arrow[r,dashed,"f"] & Y \end{tikzcd} &
+      \begin{tabular}{l}
+        \texttt{X \bs arrow[r,dashed,"f"] \& Y}
+      \end{tabular} \\
+    & \quad \\
+    \begin{tikzcd}
+      A\arrow[r,bend right,"\pi^2"] & B\arrow[r,bend left,tail] & C
+    \end{tikzcd} &
+      \begin{tabular}{l}
+        \texttt{A \bs arrow[r,bend right,"\bs pi\^{}2"] \&} \\
+        \texttt{B \bs arrow[r,bend left,tail] \& C}
+      \end{tabular} \\
+    & \quad \\
+    \begin{tikzcd}
+      A \arrow[d,"1"'] \arrow[dr,"2"] & B \\
+      C & D \arrow[l] \arrow[u,out=45,in=0]
+    \end{tikzcd} &
+      \begin{tabular}{l}
+        \texttt{A \bs arrow[d,"1"'] \bs arrow[dr,"2"] \& B \bs\bs} \\
+        \texttt{C \& D \bs arrow[l] \bs arrow[u,out=45,in=0]}
+      \end{tabular}
+  \end{tabular}
-- 
cgit v1.3