Double ended arrow.
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
Comments
-
Stephen Miller said:
Some resources use a double ended arrow
I have seen this as well and would like to know the meaning.
0 -
It is the mathematical symbol for equivalence, but in the context of Bible Sense Lexicon is best read as "conceived of as".
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):
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."
0 -
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
0 -
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."
0 -
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
0 -
Stephen Miller 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.
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."
0 -
MJ. Smith said:Stephen Miller 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!
0 -
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
0 -
-
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:
Have joy in the Lord!
0 -
Thanks. We have reproduced the issue and created a case for this.
0