Mathematica includes comprehensive, real-time, semantics-aware input annotation. It uses styling and coloring to provide immediate visual feedback on function names, variable scoping, argument structures, and other aspects of input typed into Mathematica--defining a major new level of clarity and sophistication in automatic code annotation.