Ищем словарь по математике / нотации CS

Время от времени встречается головокружительный набор символов, используемых в математических и компьютерных работах. Все же многие предполагают базовое знакомство, которое, кажется, редко преподается в одном месте. Я ищу словарь что-то вроде следующего, особенно с точки зрения CS.

• В нем будут перечислены все основные математические символы и приведены их значения и примеры. Это будет говорить о символах, которые иногда используются эквивалентными способами. Было бы отметить распространенные ошибки начинающих.
• Он будет говорить о тонкостях, связанных с различными значениями одного символа (очень похоже на несколько определений одного и того же слова в словаре).
• Это было бы не просто очень краткое описание каждого символа, например, одно слово, например, «подмножество».
• Было бы показать, как символы иногда «перегружены». Например, может иметь как целое число, но иногда может быть набором с этой нотацией, и это означает, что нужно выбирать элементы из этого набора. [n] иногда означает набор целых чисел 1 \ ldots n , а иногда - массив из одного элемента.$\binom{x}{y}$$z$$z$$[n]$$1 \ldots n$
• Это может говорить о том, как описать все виды различных «объектов» в терминах разных символов или эквивалентных способов обращения к ним (но которые более понятны) и о возможных операциях с этими объектами. Другими словами, вроде как API для математических объектов.

Т.е. иногда это будет «руководство по стилю» для разных нюансов представления математического письма. Это было бы очень полезным ресурсом для любого, кто пишет вопросы в математических обменах стеками, где многие вопросы не имеют смысла из-за несоответствия хитрым математическим соглашениям.

В некоторых книгах есть много таких функций. однако в идеале это будет отдельное обращение. Кроме того, в идеале, конечно, это будет онлайн. Существуют таблицы символов латекса, но они не соответствуют многим вышеперечисленным критериям.

Кто-нибудь видел «словарь символов», который соответствует этим функциям?

(В качестве альтернативы может показаться, что это отличный проект вики или FAQ, если таких хороших ссылок не существует.)

Вы можете использовать этот лист . У этого есть много удобных формул и некоторых определений.

Вы также можете использовать список математических символов Википедии, предложенный Кайлом Джонсом в комментариях.

Существует также Worfram MathWorld, который является отличным ресурсом, но вы должны знать, что вы ищете.

Когда речь идет о печатных ресурсах, каждый том «Искусства компьютерного программирования» содержит большое количество математических обозначений, особенно том 1.

Знать тайное имя чего-либо - значит украсть его силу. - Доктор Даниэль Джексон

Для времен, когда мы можем только нарисовать символ и хотим имя.

Смотрите: shapecatcher

Вы рисуете символ, и если для него есть символ Юникод, он найдет его и даст вам имя. Если таких много, как =, в нем будет много результатов.

Тогда это просто вопрос Google.

Наслаждайтесь!

К ссылкам других ответов на математические обозначения и символы я хотел бы добавить ссылку на математическое использование английских слов.

« Справочник по математическому дискурсу» - это словарь слов и фраз, используемых в полуформальном математическом письме, особенно такие слова, как «где» и «все», которые используются совершенно иначе, чем нематематическое письмо.