Semiotic Micro-world for Mathematical Visualization