factory RaTeXColor.fromJson(Map<String, dynamic> j) => RaTeXColor( (j['r'] as num).toDouble(), (j['g'] as num).toDouble(), (j['b'] as num).toDouble(), (j['a'] as num).toDouble());