let rec has_maction (elt :Gdome.element) =
(* fix this comparison *)
- if elt#get_tagName#to_string = "m:maction" then
+ if elt#get_tagName#to_string = "m:maction" ||
+ elt#get_tagName#to_string = "b:action" then
true
else
match elt#get_parentNode with