famubu
/
playground
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[tex] start a misc.tex

This commit is contained in:
Julin S 2024-02-20 14:13:40 +05:30
parent 6d7bbb8813
commit aadedfcc89
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
latex/misc.tex Normal file
View File

@ -0,0 +1,22 @@
\documentclass{article}
\usepackage{mathpartir}
\begin{document}
\begin{figure}
\begin{mathpar}
\begin{array}{rclll}
\delta_c \O & = & \O & & \\
\delta_c \varepsilon & = & \O & & \\
\delta_c a & = & \{\varepsilon\} & , & if \ a == c \\
& | & \O & , & otherwise \\
\delta_c (r_1;r_2) & = & \{r;r_2 \ | \ r \in \delta_c r_1\} \ \cup
\ (\delta_c r_2)
& , & if \ \varepsilon \in (\delta_c r_1) \\
& | & \{r;r_2 \ | \ r \in \delta_c r_1\} & , & otherwise \\
\delta_c (r_1 + r_2) & = & (\delta_c r_1) \ \cup \ (\delta_c r_2) & & \\
\delta_c (r*) & = & \{r';r \! * \ | \ r' \in \delta_c r\} & & \\
\end{array}
\end{mathpar}
\caption{Antimirov derivatives}
\label{fig:antimirov}
\end{figure}
\end{document}