| Server IP : 217.160.0.135 / Your IP : 216.73.217.85 Web Server : Apache System : Linux www 6.18.52-i1-ampere #1203 SMP Mon Sep 14 18:29:59 CEST 2026 aarch64 User : sws1074145052 ( 1074145052) PHP Version : 8.3.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /lib/python3/dist-packages/pygments/lexers/__pycache__/ |
Upload File : |
�
�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 �>