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, especially with fonts other than CM or LM. > Would you mind checking that? I am in no way pushing this patch and if > you think it's not good idea we leave it as it is... 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} \ding{172}--\ding{181} % seriffed fonts \ding{192}--\ding{201} % sans-seriffed fonts * \usepackage{igo} \whitestone{1}--\whitestone{99} * \usepackage{tikz} \newcommand*\circled[1]{\tikz[baseline=(char.base)]{ \node[shape=circle,draw,inner sep=2pt] (char) {#1};}} \begin{document} Numbers aligned with the text: \circled{1} \circled{2} \circled{3} end. \end{document} One could consider providing a set of alias macros \textcircleda ... \textcircledz with fallback definitions to allow customability by a power user. Günter -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
