Что это за ключ?

Question

Бороться с клавиатурой Великобритании, недавно переехав сюда! Извините за этот странный вопрос, но эту тему оказалось трудно найти в Google.

Слева от ключа № 1, где у меня раньше были backtick ` и tilde ~, вместо этого есть этот символ ¬, который мне никогда не был нужен в моей жизни. Есть ли что-нибудь полезное в bash? Как это называется? Почему это так важно быть в британских раскладках? Есть какая-то причина, чтобы не переназначать моего старого доброго доморощенного болтовню обратно в это место?

Answer 1

¬ чаще всего используется для обозначения отрицания в символической логике ; ~ также часто используется для этой цели, поэтому разумно, чтобы ¬ отображался вместо ~ на клавиатуре, которая вообще использует ¬. Я не уверен, почему британские клавиатуры включают его, но я не вижу причин, почему вы не должны заменять его на ~, если вам так нравится.

Answer 2

[Возможно, это не тот ответ, который вы ищете, но я оставлю его здесь на тот случай, если кто-то найдет этот вопрос при поиске значений этого символа.]

Я иногда видел, что глиф используется для обозначения «мягкого [возврата каретки]». "Мягкое возвращение" - это непечатаемый символ, который предполагает разрыв строки, который не является разрывом абзаца. См. Раздел « Мягкие и жесткие возвраты» в статье "перенос слов" в Википедии.

Приложение "Редактор скриптов" для AppleScript показывало бы этот символ, когда вы вводили мягкое возвращение, чтобы разбить строку, чтобы сделать ее более удобочитаемой для человека, но вы не хотели разбивать строку с точки зрения синтаксиса (AppleScript был похож на Python в этом пробеле было семантически значимым).