Double ended arrow.

Stephen Miller
Stephen Miller Member Posts: 431 ✭✭
edited November 21 in English Forum

Some resources use a double ended arrow

eg  to deliver ⇔ redeem —  (I can't be sure if the arrow will appear correctly here.)

Most fonts I use are quite happy with this symbol. However when I choose the Default Non Serif font I see a box with a square in it.

The above example comes from the    פדה

article in the Lexham Research Lexicon of the Hebrew Bible.

Stephen

Tagged:

Comments

  • Christian Alexander
    Christian Alexander Member Posts: 3,008 ✭✭

    Some resources use a double ended arrow

    I have seen this as well and would like to know the meaning.

  • MJ. Smith
    MJ. Smith MVP Posts: 53,441

    It is the mathematical symbol for equivalence, but in the context of Bible Sense Lexicon is best read as "conceived of as".

    image

    It's not that the two senses are equivalent (in fact, there is a sense for "to be lifted up" that is distinct), but that the sense before the ⇔ is expressed using the sense/phrase after it.

    You can hopefully see this more clearly with a different sense, to die (specifically its children):

    image

    Various euphemisms ("fall asleep", "go to one's fathers") mean "to die", but are expressed with a different word. We don't want to conflate those with the sense "to die" (and lose those distinctions), but we also don't merge to merge them with the sense meaning to literally go to sleep. So it's written as "to die ⇔ lie down to sleep" meaning that the sense of the word is "to die", but it's expressed with a word or phrase that often has a different literal surface meaning.

    Orthodox Bishop Alfeyev: "To be a theologian means to have experience of a personal encounter with God through prayer and worship."; Orthodox proverb: "We know where the Church is, we do not know where it is not."

  • Stephen Miller
    Stephen Miller Member Posts: 431 ✭✭

    MJ, my post is not about the meaning or usage of the double arrow.

    The post is about the inability of my DEFAULT SANS SERIF font to display the arrow.

    Instead I see a box with a cross in it. See the 2 attached images, one with the Default Sans Serif, the other with Calibri.

    Stephen

  • MJ. Smith
    MJ. Smith MVP Posts: 53,441

    Sorry, my answer was for C.A. which I didn't make clear. I didn't answer your question because Logos has little control over what characters are or are not in a font. You simply must change your default to a font that has the character.

    Orthodox Bishop Alfeyev: "To be a theologian means to have experience of a personal encounter with God through prayer and worship."; Orthodox proverb: "We know where the Church is, we do not know where it is not."

  • Stephen Miller
    Stephen Miller Member Posts: 431 ✭✭

    MJ. Long time no chat. Hope you are well.

    I think my point is that I am not choosing a font. Doesn't Logos chose the  "Default Sans Serif" font?

    Stephen

    Australia

  • MJ. Smith
    MJ. Smith MVP Posts: 53,441

    Doesn't Logos chose the  "Default Sans Serif" font?

    I had always assumed that it chose my system default but when I look at Help, it only says that Logos choses and says nothing about how. But reading the release notes for copy & paste between Notes and MSWord, I am quite sure I don't know what it does.

    I'm doing well but perhaps gloating a bit too much that I'm not experiencing any weather extremes. And you?

    Orthodox Bishop Alfeyev: "To be a theologian means to have experience of a personal encounter with God through prayer and worship."; Orthodox proverb: "We know where the Church is, we do not know where it is not."

  • NB.Mick
    NB.Mick MVP Posts: 15,983

    MJ. Smith said:

    Doesn't Logos chose the  "Default Sans Serif" font?

    I had always assumed that it chose my system default but when I look at Help, it only says that Logos choses and says nothing about how. But reading the release notes for copy & paste between Notes and MSWord, I am quite sure I don't know what it does.

    Actually Logos does choose the default font and sometimes changes them (which often is discussed a bit in the forums, see e.g. this thread) - this article explains a bit more: https://www.logos.com/grow/typography-in-logos/#:~:text=Logos%20uses%20Source%20Sans%20Pro%20for%20the%20User%20Interface%20font. I don't know about the current font used, but it seems the font lacks the double-arrow character. Such issues exist in many fonts, due to the number of strange characters like that. I have no idea whether Logos has any influence over the font in a way that can rectify this, but of course they should make sure that the default fonts show possibly all characters that exist in any resource (not sure whether there's a way to substitute missing characters with those from another font).

    Have joy in the Lord! Smile

  • Stephen Miller
    Stephen Miller Member Posts: 431 ✭✭

    NB and MJ,

    Thx for replies. I might be wrong but I think the Default font that Logos 10 installs and choses is SourceSans Pro from Adobe.

    The double arrow character is [2194]. This character is not included in SourceSans Pro.

    MJ ... I am now retired so I have less time than ever before.

    Stephen

  • DMB
    DMB Member Posts: 13,649 ✭✭✭

    I'm on an MBP M1, with Verbum (almost latest version). Maybe I'm missing the point.

    "If myth is ideology in narrative form, then scholarship is myth with footnotes." B. Lincolm 1999.

  • NB.Mick
    NB.Mick MVP Posts: 15,983

    DMB said:

    I'm on an MBP M1, with Verbum (almost latest version). Maybe I'm missing the point.

    Maybe the font is actually different (or differently implemented) between Mac and Windows. That's how it looks in Windows 10, same on Verbum 26.1.32 and Logos 27.0.13:

    image

    Have joy in the Lord! Smile

  • Nick Mueller
    Nick Mueller Member, Community Manager, Logos Employee Posts: 98

    Thanks. We have reproduced the issue and created a case for this.