\square not included?

Question

beta-ziliani opened this issue 5 years ago · 5 comments

the auto-completion of symbols lists 17 squares (\squarelrquad, ...) but no \square. while at it, where do I get the list of symbols supported?

Answer 1 · 2020-01-30T20:05:16.000Z

That list of symbols comes from https://github.com/vspinu/math-symbol-lists/blob/master/math-symbol-lists.el; surprisingly, it does contain square, so I'd be inclined to blame a company-math (which is responsible for the completion).

\mdwhtsquare works

Answer 2 · 2020-01-30T20:24:26.000Z

maybe the lists from amssymb and misc are not in company-coq?

Answer 3 · 2020-01-30T20:24:46.000Z

(note that square is there under amssymb)

Answer 4 · 2020-01-31T01:07:10.000Z

ok, I replicated the issue there, will close this one

Answer 5 · 2020-02-01T00:58:39.000Z

FTR, solved there.