Символы Айверсона

Символы Айверсона: условная запись операций округления числа, введённая Айверсоном в стандарт языка программирования APL и распространившаяся в научные тексты по математике и информатике.

Округление вниз или ⌊x⌋ (Уникод: U+230A и U+230B; APL downstile): наибольшее целое, не большее, чем x. Эта операция в программных библиотеках стандартных функций обычно называется floor(x) (буквально – «пол»).

Округление вверх или ⌈x⌉ (Уникод: U+2308 и U+2309; APL upstile): наименьшее целое, не меньшее, чем x. Эта операция в программных библиотеках стандартных функций обычно называется ceil(x) или ceiling(x) (буквально – «потолок»).

Схожие по начертанию, но не тождественные знаки в стандарте Уникод:

• U+2308 LEFT CEILING — U+2E22 (верхняя левая квадратная полускобка) и U+300C (левая угловая квадратная скобка);
• U+2309 RIGHT CEILING — U+20E7 (знак совокупной годовой ренты/аннуитета) и U+2E23 (верхняя правая квадратная полускобка);
• U+230A LEFT FLOOR — U+2E24 (нижняя левая квадратная полускобка);
• U+230B RIGHT FLOOR — U+2E25 (нижняя правая квадратная полускобка) и U+300D (правая угловая квадратная скобка).

Источники

• Кнут, Д. Искусство программирования. Том 1. Основные алгоритмы / Д. Кнут ; пер. с англ. – 3-е изд. – М. : Вильямс, 2014. – 720 с. §1.2.4.
• Стандарт Уникод.

— Ю.Т.