Integrating XCompose settings
Reformatted XCompose

cat XCompose| sed '/^ *</s/^\([^:]*>\) *: *\([^ ].*\)$/\1\t\2/' | awk -F"\t" '{if ($2) printf "%-64s : %s\n",$1,$2; else print $0}' | perl -pe 's/ *(U[\dA-F]{4}) *#/ \1 #/'
Arrows from bar
XCompose: set theory + cleanup
XCompose: subscript & superscript
XCompose is case sensitive
XCompose: nonimplication, top, bottom, proves