ATS の構文は高度に複雑で、初心者が ATS コードを読み書きする障害になるかもしれません。 この問題を軽減するために、ATS コードの様々な構文要素を色を使って区別することがあります。 ATS のシンタックスカラーリングに使う用例は次のようになります:
ATS のキーワードは全て 黒 でハイライトします。 (また可能であれば太字で書きます。)
ATS のコメントは統べて 灰色 でハイライトします。
ATS の静的なコードは 青 でハイライトします。
証明ではない ATS の動的なコードは 赤 でハイライトします。 証明には 深緑 を使います。
外部のC言語コードは 焦茶 でハイライトします。
上記のシンタックスカラーリングを全て含んだ ATS コードの例が オンライン から入手できます。