Статья 216

Индивидные имена или индивидные константы. Это простейшие по структуре и своему назначению знаки. Индивидные имена константы есть выражения, которые обозначают объекты, индивиды. В качестве индивидных констант будем использовать малые буквы начала латинского алфавита возможно, с индексами.
Следует четко различать сам объект и его имя. Если объектом является выражение языка, то в качестве его имени используется само это выражение, взятое в кавычки. Например, корректными будут фразы, а есть индивидная константа, слово мама состоит из четырех букв. Однако возможно автонимное употребление имен, когда в качестве имени используется само данное выражение. В этом случае можно сказать а есть индивидная константа. Здесь имеется в виду, что речь идет о самой букве, а не об объекте, который она именует.