[isabelle] Error when using \<sqinter> instead of inf



Hello,

I am trying to use the symbol \<sqinter> instead of inf. However I get the error
message   Inner lexical error at: \<sqinter> ...

If I use (inf S T) instead of (S \<sqinter> T) everything works OK.

Best regards,

Viorel Preoteasa





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.