Съдържание 
 

ТЕХНИЧЕСКА ИНФОРМАЦИЯ
ЗА НАЙ-НОВИТЕ ТЕКСТОВЕ ОТ ЗАПИСКИТЕ

    В HTML файловете на най-новите текстове от записките не се използва шрифтът "Symbol" и това е направено благодарение на възможностите на Unicode.

    И тези текстове както по-раншните използват кодирането "windows-1251" (стандартното кодиране за българската кирилица), но липсващите при това кодиране символи сега се реализират с помощта на Unicode и се посочват чрез съответни техни имена или номера (например малката гръцка буква "алфа" се посочва чрез низа α, а знакът за вярност - чрез низа ⊨).

    Разбира се за четенето на тези текстове е нужен браузър, който да се справя с Unicode. Съвременните браузъри по принцип са такива, но множеството на онези кодирани символи, които фактически биват показани на екрана, варира в зависимост от обстоятелствата (то зависи най-вече от наличните шрифтове на компютъра, но може да зависи също от избора на браузъра и от някои негови настройки; от тези фактори може да зависи и колко коректно ще бъдат показвани символите). Всички символи, използвани в споменатите по-горе HTML файлове, са налице например в богатите Windows шрифтове Arial Unicode MS и Lucida Sans Unicode. Ако на Вашия компютър е инсталиран някой от тези два шрифта или някой друг достатъчно богат шрифт, а пък операционната система и браузърът не са прекалено стари, доста е вероятно да постигнете да бъдат показвани на екрана всички използвани символи (евентуално чрез подходяща промяна в настройките на браузъра). За да се увеличи шансът това положение да е налице в повече случаи, кръгът на използваните символи фактически е много по-тесен, отколкото би позволил някой от трите шрифта  -  всъщност по-голямата част от символите са от множеството Windows Glyph List 4 (WGL4). Изключенията в това отношение се дължат само на неприятното обстоятелство, че някои важни за нас символи (например знакът за дизюнкция, двата квантора и знакът за еквивалентност) не са включени в множеството WGL4.

    На много места от текстовете, където се използват Unicode символи извън стандартния 7-битов диапазон, има възможност чрез щракване върху тези символи да се види съответният ред в една таблица на използвани Unicode символи и в случай на проблеми с четенето на символа евентуално от нея да се получи информация как би трябвало той да изглежда на екрана (това обаче не е направено за случая на български и гръцки букви и на символа "no-break space", в който случай проблеми обикновено не възникват). Ако Вашият браузър показва коректно знаците в първата колона на въпросната таблица, използването на Unicode символи не би трябвало да е пречка за четенето на текстовете, където то е налице.

 

Последно изменение във файла:  5.12.2006 г.