On 6/11/2020 6:03 AM, John Weller wrote: >I have been able to find answers to most problems by Googling but couldn't work out a suitable query for this one. That is why I and others have made the Symbols index as complete as possible. If anything thinks something is missing, say so here. -- Terry Jan Reedy