Is there a way to have unicode characters working like idents?

If I define a rule

(* Local Variables: *)
(* company-coq-local-symbols: ( ("_M" . ?ℳ) ) *)
(* End: *)

I would expect _M1, _M', _M_blah be printed as ℳ₁, ℳ', and ℳ_blah respectively.

Instead, I need to redefine them too as in:
("_M'" . (?ℳ (Br . Bl) ?'))

Which is far from ideal.

Is there a way to have this?

Provide feedback