testdata/integration/user_defined_syntax/simple_short_token.in.osml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

\document
\ontology#test{
	\struct#a[root=true]
		\field
			\childRef[ref=b]
			\childRef[ref=c]
	\struct#b
		\syntax
			\short{!=}
	\struct#c
		\syntax
			\short{=}
}

\begin{a}
=
\end{a}