Description: Obsolete version of ccats1val1 as of 20-Jan-2024. Value of a symbol in
the left half of a word concatenated with a single symbol. (Contributed by Alexander van der Vekens, 5-Aug-2018)(Proof modification is discouraged.)(New usage is discouraged.)