Вопросы к Поиску с Алисой
Возможно, имелись в виду значения стрелок в математических обозначениях.
Одиночная стрелка может обозначать, например, истинность теорем: сплошные стрелки соответствуют этому во всех случаях, а пунктирные — в случае, когда рассматриваются эквивалентные предикаты. interneturok.ru
Двойная стрелка в некоторых контекстах символизирует логическое равенство. math.stackexchange.com Также есть мнение, что двойная стрелка между двумя наборами указывает на биекцию. math.stackexchange.com
Таким образом, разница между одинарной и двойной стрелкой заключается в том, что первая может обозначать истинность теорем в разных случаях, а вторая — логическое равенство или биекцию между множествами.