Home

Симоненко был прав...

такой шрифт: ℕ, ℤ, ℚ, ℝ, ℂ — называется „ажурным“. По меньшей мере, так его называют Львовский и переводной Гуссенс в книжках по ТеХу. А по буржуйски: blackboard bold (отсюда название команды \mathbb из AMS-TeX).

А кое-кто — не прав. Эх, был бы еще один шанс выбрать, пошел бы к Пилиди (есть, правда, и тут миллион „но“). Сделать что ли назло перевод статьи из английской Википедии и добавить в русскую...

Английская Википедия, кстати, несколько огорчила, выразив сомнение, что придумали этот „полужирный для классной доски“ Бурбаки: должны они были хоть что-то полезное в народном хозяйстве придумать!

ЗЫ Вчера уже после полуночи понял, как при расширении коммутативных колец получаются алгебры: долго радовался. Как все-таки иногда долго нужно смотреть на определение, замечания к нему и пример, чтобы понять, что это пример выражает понятие, в соответствии с теми замечаниями.

UPD: [info]alamar обратил внимание, что Юникод называет blackboard bold по-другому: double struck. Логично, но уходит лирика...
Tags: ,

Comments

Уникод называет их DOUBLE-STRUCK.
U+1D538 MATHEMATICAL DOUBLE-STRUCK CAPITAL A

Да, спасибо, это тоже надо учесть.
О, теперь понятно, почему в приличных книжках обозначения числовых множеств всегда пишут обычным полужирным шрифтом. А то понасоздавали шрифтов и думают, что это красиво...
Ирена говорила, что терпеть не может, когда не соблюдаются ажурные шрифты, например на лекциях на доске. Я с ней полностью согласился.
На лекциях на доске. Да. Согласен. И больше нигде. Сказано: blackboard bold.
Сложно сказать: поля сейчас редко как-то иначе, чем 𝔽, обозначают, и по-другому кажется уже некрасивым.
Ажурные буквы имеют ещё тот недостаток, что напрягают программу-просмотрщик (браузер в данном случае). Я имею в виду шрифтовую поддержку. Если буквы из поста Хром ещё осилил, то вот букву из твоего комментария уже нет. Лисица, кстати, эту букву отобразила, но отрисовывает всё равно некрасиво, лишняя высота появляется. ИЕ, понятное дело, всякие неприличные математические буквы вообще зацензуривает квадратиками.
Да, тут, как раз, понятное дело: я примерно этого и ждал. Тут в Линуксе редко проблемы с юникодными символами в браузерах бывают (реже, чем в Винде по ощущениям), ну, а красивость я оценивать не берусь (вполне неплохо, правда, эти буквы несколько мельче).

Но браузеры как раз не очень принципиальная история: я вовсе не ратую за повсеместное (в вебе, например) использование ажурного шрифта. Я просто про название хотел сказать... Еще в русской Википедии в статье про шрифт сказано, что есть некий «жирный» шрифт: я всю жизнь был уверен, что бывает только полужирный: надо ещё тут расследование провести.
А может, и не мельче ;)
Если бы сейчас всё, чем пользуется человек, начать использовать только исходя из названия или истории появления, это было бы ужасно. Я не думаю, что это название про доску должно ограничивать сферу использования этого красивого и уже привычного в нескольких ситуациях шрифта.

July 2009

S M T W T F S
   1234
567891011
12131415161718
19202122232425
262728293031 

Advertisement

Powered by LiveJournal.com