# Ввод выражений ЯРС

Для набора спецсимволов и букв греческого алфавита реализована дополнительный язык ввода, обозначаемый MATH в строке состояния программы. При редактировании программа переключает язык автоматически. Для ручного переключения используются управляющие клавиши левый и правый Control.

Правый Control переключает языки в следующей последовательности: Английский -> Русский -> MATH -> Английский.

Левый Control переключает языки в следующей последовательности: Английский -> MATH -> Английский.

В таблице представлен список сочетаний клавиш для ввода спецсимволов языки родов структур (активным языком должен быть MATH).

ID | Название | Сочетание клавиш
α | альфа | A
β | бета | B
γ | гамма | G
δ | дельта | D
ε | эпсилон | E
ζ | дзета | Z
η | эта | H
θ | тета | V
λ | лямбда | L
μ | мю | M
ν | ню | N
ξ | кси | X
ο | омикрон | O
π | пи | P
ρ | ро | R
σ | сигма | S
τ | тау | T
υ | ипсилон | Q
φ | фи | F
χ | хи | C
ψ | пси | J
ω | омега | W
∀ | любой | ` (рядом с 1 и Esc)
∃ | существует | Shift + ` (~ тильда)
B | булеан | Shift + B
x | декартово произведение | Shift + 8
0123456789 | подстрочный индекс | Alt + 0123456789
∞ | бесконечность | Alt + Shift + 9
∅ | пустое множество | Alt + Shift + 0
С | множество целых чисел | Alt + Shift + C
N | множество натуральных чисел | Alt + Shift + N
R | множество рациональных чисел | Alt + Shift + R
card | мощность | Alt + C
bool | синглетон (буль) | Alt + B
debool | дебуль | Alt + D
red | множество-сумма | Alt + R
pr | малая проекция | Alt + Q
Pr | большая проекция | Alt + W
∩ | пересечение | Alt + Y
∪ | объединение | Alt + U
⊂ | строгое подмножество | Alt + ;
⊄ | не подмножество | Alt + Shift + ;
∈ | принадлежит | Alt + '
∉ | не принадлежит | Alt + Shift + '
⊆ | нестрогое подмножество | Alt + Shift + L
≠ | неравенство | Alt + Shift + =
≡ | тождество | Alt + =
→ | следствие (импликация) | Alt + }
↔ | эквивалентность | Alt + {
⌉ | отрицание | Alt + Shift + -
∨ | дизъюнкция | Alt + Shift + 7
& | конъюнкция | & (Shift + 7)