I am using tiptap editor with React to populate my study app's mongodb database. Unfortunately, I have hit a roadblock. I want to insert characters like A with arrow on top of his head to denote A(vector). Is this possible and will my iOS and android apps display it correctly?