never/styles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add finite automata marks

Browse source
This commit is contained in:
Never Gude 2026-06-10 20:43:53 +02:00
parent 89938c30bc
commit 8ce5021c06
1 changed files with 45 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

48
ngslides.isy
View file

@ -4,9 +4,6 @@
\usepackage[sansdefault]{fontsetup} \usepackage[sansdefault]{fontsetup}
\usepackage{ngutils} \usepackage{ngutils}
\renewcommand{\theoremfont}{\normalfont\bfseries\color{dark blue}}
\renewcommand{\definitionfont}{\normalfont\bfseries\color{dark gray}}
\newcommand{\labelfont}{\normalfont\bfseries\color{dark blue}} \newcommand{\labelfont}{\normalfont\bfseries\color{dark blue}}
%\setlength{\leftmargini}{1.33em} %\setlength{\leftmargini}{1.33em}
@ -315,6 +312,51 @@ h
</path> </path>
</symbol> </symbol>
<symbol name="mark/ng-state(spx)" snap="0 0 2 0 1.73 1 1 1.73 0 2 -1 1.73 -1.73 1 -2 0 -1.73 -1 -1 -1.73 0 -2 1 -1.73 1.73 -1">
<path stroke="sym-stroke" pen="sym-pen">
2 0 0 2 0 0 e
</path>
</symbol>
<symbol name="mark/ng-start(spx)" snap="0 0 2 0 1.73 1 1 1.73 0 2 -1 1.73 -1.73 1 -2 0 -1.73 -1 -1 -1.73 0 -2 1 -1.73 1.73 -1">
<group>
<path stroke="sym-stroke" pen="sym-pen">
2 0 0 2 0 0 e
</path>
<path stroke="sym-stroke" pen="sym-pen" arrow="pointed/pointed">
-5 0 m
-2 0 l
</path>
</group>
</symbol>
<symbol name="mark/ng-accept(spx)" snap="0 0 2 0 1.73 1 1 1.73 0 2 -1 1.73 -1.73 1 -2 0 -1.73 -1 -1 -1.73 0 -2 1 -1.73 1.73 -1">
<group>
<path stroke="sym-stroke" pen="sym-pen">
2 0 0 2 0 0 e
</path>
<path stroke="sym-stroke" pen="sym-pen">
1.5 0.5 -0.5 1.5 0 0 e
</path>
</group>
</symbol>
<symbol name="mark/ng-startaccept(spx)" snap="0 0 2 0 1.73 1 1 1.73 0 2 -1 1.73 -1.73 1 -2 0 -1.73 -1 -1 -1.73 0 -2 1 -1.73 1.73 -1">
<group>
<path stroke="sym-stroke" pen="sym-pen">
2 0 0 2 0 0 e
</path>
<path stroke="sym-stroke" pen="sym-pen">
1.5 0.5 -0.5 1.5 0 0 e
</path>
<path stroke="sym-stroke" pen="sym-pen" s arrow="pointed/pointed">
-5 0 m
-2 0 l
</path>
</group>
</symbol>
<color name="dark blue" value="0.121 0.47 0.705"/> <color name="dark blue" value="0.121 0.47 0.705"/>
<color name="dark brown" value="0.651 0.337 0.157"/> <color name="dark brown" value="0.651 0.337 0.157"/>
<color name="dark cyan" value="0.106 0.62 0.467"/> <color name="dark cyan" value="0.106 0.62 0.467"/>