---input---
Lemma FalseLemma : False <-> False.
tauto.
Qed.
Check FalseLemma.

---tokens---
'Lemma'       Name
' '           Text
'FalseLemma'  Name
' '           Text
':'           Operator
' '           Text
'False'       Name
' '           Text
'<'           Operator
'-'           Operator
'>'           Operator
' '           Text
'False'       Name
'.'           Punctuation
'\n'          Text

'tauto'       Name
'.'           Punctuation
'\n'          Text

'Qed'         Name
'.'           Punctuation
'\n'          Text

'Check'       Name
' '           Text
'FalseLemma'  Name
'.'           Punctuation
'\n'          Text
