Comment 2 for bug 1255210

Revision history for this message
Adolfo Jayme Barrientos (fitojb) wrote :

Actually, you should use the Unicode multiplication symbol.