On 18/10/2021 01:12, Dr Eberhard Lisse wrote:
--> :-)-O <-- stands for I was joking
Never came across that emoji before. What is it supposed to picture? The more common, ;-) works quite well in this case too, I think. Daniel -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users