[web] Redefine coloneq to coloneqq in mathjax GitOrigin-RevId: 1797acff022d45e89bcec518905cf53cbc45825e