The success of augmented reality means it may be time to rethink the way we type