<match>∀|∃|λ|=|→|⇒|…|≝|≡|\?</match>
</context>
<context id="tinycals" style-ref="tinycals">
- <match>\[|\||\]|\{|\}|>|//|<|@|\$|#|\\\\|;|\.|:>|:</match>
+ <match>\[|\||\]|\{|\}|>|//|<|@|\$|#|\\\\|;|\.|:>|:|-</match>
</context>
</include>
</context>