When we have quantum computers will we adopt the notation G^-1 for discrete log?
555