angleToTex function

String angleToTex(
  1. String input
)

\ang{12;30;15} → 12°30′15″.

Implementation

String angleToTex(String input) {
  final parts = input.split(';');
  const marks = ['°', '′', '″'];
  final b = StringBuffer();
  for (var i = 0; i < parts.length && i < 3; i++) {
    final p = parts[i].trim();
    if (p.isEmpty) continue;
    b.write('${numToTex(p)}\\text{${marks[i]}}');
  }
  return b.toString();
}