2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Стрелка абстрагирования
Сообщение21.11.2011, 18:19 
Заслуженный участник


27/04/09
28128
$$A \triangleleft\!\!- C \quad\quad A -\!\!\triangleright C$$
Как называется команда, которая превращает своё содерживое в знак отношения? А то вон пробелы с правой стороны неправильные…

-- Пн ноя 21, 2011 21:20:55 --

И вообще, хорош ли такой код?

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение21.11.2011, 18:44 
Аватара пользователя


05/11/09
90
$$A \mathrel{\triangleleft\!-} C \quad\quad A \mathrel{-\!\triangleright} C$$
$A \mathrel{\triangleleft\!-} C \quad\quad A \mathrel{-\!\triangleright} C$

Вроде работает. Использовать faked symbols — вполне нормально, только стоит команду определить.

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение21.11.2011, 18:48 
Заслуженный участник


27/04/09
28128
Команду-то да. Спасибо!

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение21.11.2011, 18:54 
Заслуженный участник
Аватара пользователя


30/01/06
72407
arseniiv в сообщении #506211 писал(а):
Как называется команда, которая превращает своё содерживое в знак отношения?

\mathrel{...}

\mathord - обычный символ, \mathopen и \mathclose - скобки, \mathop и \mathbin - унарный (слева) и бинарный оператор, \mathpunct - знак пунктуации типа запятой.

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение21.11.2011, 18:56 
Заслуженный участник


27/04/09
28128

(Оффтоп)

Ну прямо скорая помощь «Почитайте Львовского за меня»! :D И ещё раз спасибо!

Всё пригодится, тем более, что тема в закладках ближе, чем Львовский где-то там в каталогах…

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение21.11.2011, 19:12 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Не Львовский, в котором действительно три часа искать ответ будешь, а Сюткин, брошюрка, в которой всё под рукой.

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение21.11.2011, 23:48 
Заслуженный участник


27/04/09
28128
Надо потом будет поискать.

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение22.11.2011, 02:36 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Сюткин, Набор математических формул в LaTeX 2e, на Колхозе лежит.

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение23.12.2016, 01:56 
Заслуженный участник


27/04/09
28128
Извиняюсь за подъём этой своей старой темы (5 лет назад последний ответ), но, возможно, кому-то будет интересно знать, что обозначение подтипирования как $t <: u$, а не $t \mathrel{-\!\triangleright} u$ выглядит более ясным, если учесть его сходство с $a : u$ для значений и типов и тем, что $t$ как подтип в естественном смысле не больше $u$. Я увидел его в какой-то статье, и ещё один его плюс в том, что его код — просто <:, т. к. символы отношений слипаются и образуют одно большое.

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение23.12.2016, 16:39 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Первый аргумент
    arseniiv в сообщении #1179345 писал(а):
    если учесть его сходство с $a : u$ для значений и типов
ломается, если развернуть отношение: $u:>t.$

Третий -
arseniiv в сообщении #1179345 писал(а):
ещё один его плюс в том, что его код — просто <:

- выглядит скорее минусом, поскольку у стрелочки был плюс в единстве обозначений в тексте и на диаграммах.

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение23.12.2016, 19:22 
Заслуженный участник


27/04/09
28128
Munin в сообщении #1179454 писал(а):
ломается, если развернуть отношение: $u:>t.$
Почему ломается? Я имел в виду не порядок аргументов, а сходство, примерно как (другое, конечно) сходство между символами $\in$ и $\subset$.

Потом, диаграммы-то только классов обычно, а подтипирование применимо шире и в языках, где нет таких классов, для которых есть смысл рисовать диаграммы, если там вообще есть классы. К тому же я всегда находил направление стрелки абстрагирования неинтуитивным — мне хочется направить её к подтипу и я от этого торможу, пытаясь понять, что она означает, если долго не встречал перед этим.

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение23.12.2016, 19:53 
Заслуженный участник
Аватара пользователя


30/01/06
72407
arseniiv в сообщении #1179513 писал(а):
Почему ломается?

Потому что запись $a\colon u$ применяется, а $u\colon a$ - нет. Я не про сходство со знаком "меньше".

arseniiv в сообщении #1179513 писал(а):
Потом, диаграммы-то только классов обычно, а подтипирование применимо шире

Пожалуйста. Но вы либо оставляете нотацию согласованной, либо создаёте разнобой.

arseniiv в сообщении #1179513 писал(а):
К тому же я всегда находил направление стрелки абстрагирования неинтуитивным — мне хочется направить её к подтипу

Это не у одного у вас такая проблема. Она широко известна. Можно мнемонически произносить про себя стрелку как "восходит к", например.

 Профиль  
                  
 
 Re: Стрелка абстрагирования
Сообщение23.12.2016, 20:45 
Заслуженный участник


27/04/09
28128
Munin в сообщении #1179524 писал(а):
Потому что запись $a\colon u$ применяется, а $u\colon a$ - нет.
Хм, а для чего ей нужно употребляться?

Munin в сообщении #1179524 писал(а):
Пожалуйста. Но вы либо оставляете нотацию согласованной, либо создаёте разнобой.
Так ведь, ещё раз, не я придумал $<:$ — оно уже есть! :-)

-- Пт дек 23, 2016 22:46:26 --

И потом, смотрите как это отношение нам улыбается. Делает ли это стрелка? Сомнительно!

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 13 ] 

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group