CoqLexer: missing operator '<->'

Issue #1011 resolved
created an issue

The operator '<->' seems to be missing from the list of operators in CoqLexer ( It is thus parsed as two operators '<-' followed by '>'.

Could it be added to the list of operators?

Comments (4)

  1. brab reporter

    I'm writing a filter that converts operators into unicode versions, and it fails in this case as the stream returns two elements instead of one for '<->'.

  2. Log in to comment