From 8ce5021c06f2969018afa20e9f4d9ab65bb6b01d Mon Sep 17 00:00:00 2001
From: Never Gude <n.gude@posteo.de>
Date: Wed, 10 Jun 2026 20:43:53 +0200
Subject: [PATCH] add finite automata marks

---
 ngslides.isy | 48 +++++++++++++++++++++++++++++++++++++++++++++---
 1 file changed, 45 insertions(+), 3 deletions(-)

diff --git a/ngslides.isy b/ngslides.isy
index d96399d..d47466e 100644
--- a/ngslides.isy
+++ b/ngslides.isy
@@ -4,9 +4,6 @@
 \usepackage[sansdefault]{fontsetup}
 \usepackage{ngutils}
 
-\renewcommand{\theoremfont}{\normalfont\bfseries\color{dark blue}}
-\renewcommand{\definitionfont}{\normalfont\bfseries\color{dark gray}}
-
 \newcommand{\labelfont}{\normalfont\bfseries\color{dark blue}}
 
 %\setlength{\leftmargini}{1.33em}
@@ -315,6 +312,51 @@ h
 </path>
 </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 brown" value="0.651 0.337 0.157"/>
 <color name="dark cyan" value="0.106 0.62 0.467"/>