I'm doing a presentation for a lay audience and I was hoping to have an arrow above the word "dim" to differentiate the dimension vector from the dimension generally. However, $\xrightarrow{dim}$
puts the arrow in the centre (as one would have for a map) which makes the dim small and doesn't look good. So is there an arrow which works like a $\widehat{dim}$
but with an arrow instead of a hat?
P.S. The text I'm using just uses an underline but I feel it isn't noticeable enough. Likewise I could just use the hat perhaps but I think an arrow is more intuitive (it was how we denoted vectors at my highschool). However, I will also accept other ways of differentiating.