User blog comment:Pteriforever/Ultra-F notation/@comment-25601061-20151028170724/@comment-25601061-20151028175647

There is. Take, for example, the decomposition of F:  (i use  F^ to denote an activated F)

F = F^ |0 (by rule 1)

^

​