File: //lib/python3/dist-packages/pygments/lexers/__pycache__/tnt.cpython-311.pyc
�
�E�c�( � �h � d Z ddlZddlmZ ddlmZmZmZmZm Z m
Z
mZmZ dgZ
G d� de� � ZdS )z�
pygments.lexers.tnt
~~~~~~~~~~~~~~~~~~~
Lexer for Typographic Number Theory.
:copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�Lexer)�Text�Comment�Operator�Keyword�Name�Number�Punctuation�Error�TNTLexerc �r � e Zd ZdZdZdZdgZdgZg Z e d� � Z
e d� � Z e d� � Z e d � � Z
e d
� � Z e d� � Z e d� � Z e d
� � Z ej d� � Z ej d� � Z ej d� � Zd� Zdd�Zd� Zd� Zd� Zd� Zd� Zd� Zd� ZdS )r u�
Lexer for Typographic Number Theory, as described in the book
Gödel, Escher, Bach, by Douglas R. Hofstadter
.. versionadded:: 2.7
zTypographic Number Theoryz,https://github.com/Kenny2github/language-tnt�tntz*.tntu ⊃→]&∧^|∨Vvu +.⋅*�abcdeu '′z~!u AE∀∃�
0123456789z
ax (?xi)
joining | separation | double-tilde | fantasy\ rule
| carry[- ]over(?:\ of)?(?:\ line)?\ ([0-9]+) | detachment
| contrapositive | De\ Morgan | switcheroo
| specification | generalization | interchange
| existence | symmetry | transitivity
| add\ S | drop\ S | induction
| axiom\ ([1-5]) | premise | push | pop
z((?:[0-9]+)(?:(?:, ?|,? and )(?:[0-9]+))*z\[[^\n\]]+\]c �>