File: //opt/alt/python311/lib/python3.11/site-packages/pygments/lexers/__pycache__/tnt.cpython-311.pyc
�
�;f�( � �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-2024 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�Lexer)�Text�Comment�Operator�Keyword�Name�Number�Punctuation�Error�TNTLexerc �v � e Zd ZdZdZdZdgZdgZdZg 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� Z dS )r uz
Lexer for Typographic Number Theory, as described in the book
Gödel, Escher, Bach, by Douglas R. Hofstadter
zTypographic Number Theoryz,https://github.com/Kenny2github/language-tnt�tntz*.tntz2.7u ⊃→]&∧^|∨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 �>