Wprowadzanie symboli matematycznych

Grecki alfabet jest uzyskiwany w TeXmacs poprzez łączenie modyfikatora „hyper” H- z literą. Na przykład, H-a daje α a H-G Γ. Jak to wcześniej napisano F5 jest równoważny z H-, zatem ρ może być również uzyskane jako F5 r. Dodatkowo F6, F7, F8 i S-F6 mogą być użyte do wpisania: znaku pogrubionego, kaligraficznego, fraktur i blackboard odpowiednio. Na przykład, F8 m daje m, S-F6 R to R a F6 F7 Z oznacza Z. Niestety aby uzyskać 1 trzeba użyć czcionki blackboard (M-A-B).

Greckie litery mogą być również uzyskane jako „wariant” alfabetu łacińskiego przy użyciu klawisza tab. Czyli, p tab daje π. Klawisz tab pozwala uzyskać warianty greckich liter. Na przykład oba H-p tab tab i p tab tab tab oznaczają ϖ.

Wiele innych symboli matematycznych uzyskiwanych jest poprzez „naturalne” kombinacje klawiszy. Na przykład, - > daje →, - - > daje ⟶i > = wyświetla⩾. Podobnie, | - daje ⊢, | - > wyświetla ↦a - > < - daje ⇄. Ogólne zasady zuzyskiwania odmian symboli:

tab
jest głównym klawiszem przy uzyskiwaniu wariantów. Na przykład, > = oznacza ⩾, ale > = tab wyświetla ≥. Podobnie, < tab daje ≺, < tab = oznacza ≼ i < tab = tab daje ⪯. Również P tab tab daje ℘ i e tab tab wyświetla stałą ⅇ = exp(1). Można „krążyć w tył” używając S-tab.
@
jest używany do wrzucania symboli do kół lub kwadratów. Na przykład, @ + daje ⊕, a @ x oznacza ⊗. Analogicznie, @ tab + daje ⊞.
/
jest używany do negacji. Na przykład, = / oznacza ≠ i < = / daje ⩽̸. Zauważmy iż < = tab tab / to ≦̸, podczas gdy < = tab tab / tab daje ≨.
!
jest używany po strzałkach aby wymusić indeksy nad lub pod strzałką. Na przykład, - - > ^ x oznacza ⟶x, ale - - > ! ^ x daje ⟶x.

Parę symboli, które nie mogą być wprowadzone naturalnie powyższymi metodami jest uzyskiwanych poprzez prefiks S-F5. Poniżej krótka tabelka takich znaków:

Skrót Symbol Skrót Symbol
S-F5 a ⨿
S-F5 n S-F5 u
S-F5 v S-F5 w

Tablica 1. Niektóre symbole bez naturalnej metody wprowadzenia.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".