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