#---------------------------------------------------------------------
## Replaces Sorcery's default_post_remove with a TeX font one
#---------------------------------------------------------------------
function default_post_remove() {
  . $SECTION_DIRECTORY/TEX_POST_REMOVE
}

#---------------------------------------------------------------------
## Replaces Sorcery's default_final with a TeX font one
#---------------------------------------------------------------------
function default_final() {
  . $SECTION_DIRECTORY/TEX_FINAL
}

#---------------------------------------------------------------------
## Replaces Sorcery's default_post_resurrect with a TeX font one
#---------------------------------------------------------------------
function default_post_resurrect() {
  . $SECTION_DIRECTORY/TEX_POST_RESURRECT
}

