DeVerTeX and J.R.C.