On 2020-12-09, Pavel Sanda wrote:
> On Tue, Dec 08, 2020 at 09:47:53PM -, Guenter Milde wrote:
>> The various answers to
>> https://tex.stackexchange.com/questions/7032/good-way-to-make-textcircled-numbers
>> show, that there is no global winner.
>> * \raisebox{.5pt}{\textcircled{\raisebox{-.9
On Wed, Dec 9, 2020 at 8:41 AM Pavel Sanda wrote:
> On Tue, Dec 08, 2020 at 09:47:53PM -, Guenter Milde wrote:
> > The various answers to
> >
> https://tex.stackexchange.com/questions/7032/good-way-to-make-textcircled-numbers
> > show, that there is no global winner.
> >
> > * \raisebox{.5pt}
On Tue, Dec 08, 2020 at 09:47:53PM -, Guenter Milde wrote:
> The various answers to
> https://tex.stackexchange.com/questions/7032/good-way-to-make-textcircled-numbers
> show, that there is no global winner.
>
> * \raisebox{.5pt}{\textcircled{\raisebox{-.9pt} {8}}}
>
> * \usepackage{pifont}
>
On 2020-12-07, Pavel Sanda wrote:
> On Mon, Dec 07, 2020 at 04:55:42PM +0100, Guenter Milde wrote:
>> > I just used these the other day, via mathed. So I would think they are
>> > useful at least sometimes...
>> While useful sometimes, we should check whether this does more harm than
>> good, espe
On Mon, Dec 07, 2020 at 04:55:42PM +0100, Guenter Milde wrote:
> > I just used these the other day, via mathed. So I would think they are
> > useful at least sometimes...
>
> While useful sometimes, we should check whether this does more harm than
> good, especially with fonts other than CM or LM.
On 7.12.20, Richard Kimberly Heck wrote:
> On 12/7/20 10:29 AM, Pavel Sanda wrote:
> > Hi,
> >
> > this is presumably for Guenter.
> >
> > I found somewhat outdated patch which unfortuntaely never made it to this
> > list
> > on time. Its for unico
On Mon, Dec 07, 2020 at 10:47:13AM -0500, Richard Kimberly Heck wrote:
> > I found somewhat outdated patch which unfortuntaely never made it to this
> > list
> > on time. Its for unicodesymbols allowing unicode characters showing
> > encircled
> > alphanumerics, s
On 12/7/20 10:29 AM, Pavel Sanda wrote:
> Hi,
>
> this is presumably for Guenter.
>
> I found somewhat outdated patch which unfortuntaely never made it to this list
> on time. Its for unicodesymbols allowing unicode characters showing encircled
> alphanumerics, see https://bu
Hi,
this is presumably for Guenter.
I found somewhat outdated patch which unfortuntaely never made it to this list
on time. Its for unicodesymbols allowing unicode characters showing encircled
alphanumerics, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=724820 .
The diff against old 2.0
