User blog comment:Hyp cos/Analysis - BEAF, FGH and SGH (part 3)/@comment-11227630-20140731155213/@comment-5150073-20140731174608

Can you give a formal definition (in rules) which operates with BEAF? FB100Z's definition works only up to $$\theta(\Omega^\Omega)$$.