Start of form8 Parser for a Formula
v4.frm at Sun Jul 29 14:09:57 2001
\bigoplus_{ exactlyone atleastone \leftarrow \bigvee_{ atleast_{ atmostone atmost_{ level_{ \prec^+ \prec^* \oplus INPUT graph \prec none \leq \geq \sim even \vee \neg \ne B^{ #c# |V( |E( min max #i# var \to \in odd ^{ \} V( )| E( \& eq _{ \{ ( ; # | = : ' } + - * / < , )
Scanner started
error at symbol #36
#\bigwedge_{a,b\in B^{n};a\prec^+ b}º{x_{a}\to x_{b}}#
Input program:
# \bigwedge_{ a , b \in B^{ n } ; a \prec^+ b } x _{ a } \to x _{ b } } #
Scanned program:
1 10 8 127 58 8 128 23 28 8 129 29 7 8 127 33 8 128 29 8 130 57 8 127 29 53 8 130 57 8 128 29 29 1
Identifiers:a, b, n, x;
Scanner ended
Parser ended at
Sun Jul 29 14:09:58 2001