Thread:Dim1/@comment-28391659-20160514073355/@comment-6697950-20160514180026

I just copy pasted the name from the Kagemitsu page. Somebody had added a trivia about that name with the proper symbol. Though it was probably added by holding Alt and writing the Unicode for the symbol.