微分形式の記号 に渡す引数に、 多様体 ベクトルバンドル 開集合 がある。これらの引数渡しの構文レイアウトが問題。次の形にしたい。 次の省略ルールを設ける。 例えば：

は単一の群 は群バンドルとする。 は群層になる。Pへの右からの作用の表現が： 単一の群じゃなくて、群バンドルと群層を基本に考えて、その特殊ケースとして自明群バンドルとそのセクション層を考える。

暗黙の前提を書くのに implicit でマークする。共変微分の接続形式を定義する例。implicit を増やすと： の引数がフレームだけになる。