Основы языка: компактные формулы и схемы