Question: Dots and Hats

A little while ago on another thread I asked about putting hats on variables and Georgious pointed me in the direction of a most helpful thread. I found that there was more that 1 way to do it. One of the ways involved this syntax `#mover(mi(θ),mo("∧"))` It works, but I haven't been able to find any documentation mi, mo or mover. I sure would appreciate it if someone could help me understand this syntax. Also, what if I want to out a dot above a hat on a variable ? Thanks
Please Wait...