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

Find more posts tagged with

Desktop App

Comments

Christian Alexander

Some resources use a double ended arrow

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

MJ. Smith

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.

Stephen Miller

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

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.

Stephen Miller

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

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?