Існує запаморочливий набір символів, які використовуються в математичних та CS-документах. Однак багато хто припускає базового знайомства, яке, здається, рідко викладається в одному місці. Я шукаю словник на кшталт наступного, особливо з точки зору CS.
- Тут було б перераховано всі основні математичні символи та наведено їх значення та приклади. Це б говорило про символи, які іноді використовуються рівнозначними способами. Зазначимо поширені помилки початківців.
- Це говорило б про тонкощі, що оточують різні значення одного символу (подібно до кількох визначень одного і того ж слова в словнику).
- Це був би не просто стислий опис кожного символу, наприклад описи одного слова, як "підмножина".
- Це показало б, як символи іноді «перевантажуються». Наприклад, може мати як ціле число, але іноді може бути набором з цим позначенням, і це означає вибирати елементи з цього набору. іноді означає набір цілих чисел , або інший раз його одноелементний масив.
- Це може говорити про те, як описати всі види різних "об'єктів" через різні символи або еквівалентні способи їх посилання (але які більш зрозумілі) та можливі операції над цими об'єктами. Іншими словами, на зразок API для математичних об'єктів.
Тобто це було б часом "посібник зі стилів" для різних нюансів у поданні математичного письма. Це було б дуже корисним ресурсом для тих, хто пише запитання в математичних змінах, де багато питань не мають сенсу, базуючись на тому, що вони не вписуються в складні математичні умови.
Деякі вступні книги мають багато з цих особливостей. проте в ідеалі це було б окреме лікування. Крім того, в ідеалі, звичайно, це було б в Інтернеті. Існують таблиці символів латексу, але вони дійсно не відповідають багатьом з вищезазначених критеріїв.
Хтось бачив "словник символів", який відповідає цим характеристикам?
(Крім того, здається, що це відмінний проект вікі або FAQ, якщо таких хороших посилань немає.)