// 10.01.21 function Out=Texvctr(N) Out='\value{'+Texctr(N)+'}'; endfunction;