avoid unicode in the document?
Duy Nguyen
(30 Aug 2020 01:41 UTC)
|
Re: avoid unicode in the document?
Marc Nieper-Wißkirchen
(30 Aug 2020 08:15 UTC)
|
Re: avoid unicode in the document?
Duy Nguyen
(30 Aug 2020 09:17 UTC)
|
Re: avoid unicode in the document?
Marc Nieper-Wißkirchen
(30 Aug 2020 09:42 UTC)
|
Re: avoid unicode in the document?
Marc Nieper-Wißkirchen
(30 Aug 2020 13:07 UTC)
|
Re: avoid unicode in the document?
Arthur A. Gleckler
(30 Aug 2020 18:35 UTC)
|
Re: avoid unicode in the document?
Marc Nieper-Wißkirchen
(31 Aug 2020 06:47 UTC)
|
Re: avoid unicode in the document?
Arthur A. Gleckler
(31 Aug 2020 07:10 UTC)
|
Re: avoid unicode in the document?
Marc Nieper-Wißkirchen
(31 Aug 2020 07:15 UTC)
|
Re: avoid unicode in the document?
Arthur A. Gleckler
(31 Aug 2020 07:30 UTC)
|
Re: avoid unicode in the document?
Duy Nguyen
(31 Aug 2020 09:10 UTC)
|
Re: avoid unicode in the document?
Marc Nieper-Wißkirchen
(31 Aug 2020 09:28 UTC)
|
Re: avoid unicode in the document? Duy Nguyen (31 Aug 2020 10:46 UTC)
|
Re: avoid unicode in the document?
Marc Nieper-Wißkirchen
(31 Aug 2020 10:53 UTC)
|
On Mon, Aug 31, 2020 at 4:28 PM Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote: > > Am Mo., 31. Aug. 2020 um 11:10 Uhr schrieb Duy Nguyen <xxxxxx@gmail.com>: > > > I'm pretty sure default fontconfig configuration will attempt to fall > > back to another font if available. I just don't happen to have any > > fonts that cover "Miscellaneous Mathematical Symbols-A" block. > > Does the ellipsis <code>…</code> show up correctly in your > browser with your fonts installed? > > And what about <code>‹token›</code>? Do they render > better than the symbols I have been using so far? Yes. > > My point is probably opposite of Marc's, avoid unicode characeters > > unless absolutely needed, and in this case '<' and '>' should work > > just fine. Please don't update css to add more fonts because of me. > > Being used to all the nice characters TeX gives us, I don't want to > ban Unicode completely, but I understand the need not to use too > uncommon glyphs. Ah TeX. So long. TeX can produce PDFs though (or postscript) which don't need extra fonts. To be clear this is a minor annoyance, it's totally ok to ignore this and focus on real (content related) comments instead. -- Duy